Knowledge as Strategic Ability
نویسندگان
چکیده
منابع مشابه
Knowledge as Strategic Ability
The ultimate goal of our research is to develop techniques for model checking knowledge properties of multi-agent systems. ATEL, an extension of the Alternating-time Temporal Logic of Alur et al, is a logic for specifying epistemic and strategic properties of such systems. We present a technique for reducing the ATEL model checking problem to one of model checking in ATL, whereby epistemic rela...
متن کاملKnowledge and Strategic Ability for Model Checking: A Refined Approach
Wepresent a translation that reduces epistemic operators to strategic operators in the context ofmodel checking. The translation is a refinement of the one from [7, 9], and it improves on the previous scheme in two ways. First, it does not suffer any blowup in the length of formulae (the one from [7, 9] did). Second, the new translation is defined in a more general setting: additional constrain...
متن کاملComparing Variants of Strategic Ability
In this paper, we show that different semantics of ability give rise to different validity sets. The issue is important for several reasons. First, many logicians identify a logic with its set of true sentences. As a consequence, we prove that different notions of ability induce different logics in the traditional sense. Secondly, the study can be seen as the first systematic step towards satis...
متن کاملCognitive ability and strategic sophistication
In three experiments we examine the extent to which strategic sophistication (i.e., inductive reasoning, iterative dominance and level-k thinking) is determined by broader cognitive skills. In the first experiment we replicate previous results showing strong associations between cognitive ability and sophistication in a game of iterative dominance. We then extend the results to a game requiring...
متن کاملReasoning about Natural Strategic Ability
In game theory, as well as in the semantics of game logics, a strategy can be represented by any function from states of the game to the agent’s actions. That makes sense from the mathematical point of view, but not necessarily in the context of human behavior. This is because humans are quite bad at executing complex plans, and also rather unlikely to come up with such plans in the first place...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)82608-8